In the pool, a group of men and women in bathing suits played, with cheers and music.