A large swimming pool