Hot swimming pool   A hot water swimming pool