Customer returns to Borough Market restaurant to pay and tip after terror attack