a large swimming pool inside of a hotel