The music came up, and in the pool, many people were swimming.