In a large, wide swimming pool, a group of people began to dance and cheer to the merry music, surrounded by many watching.