Men and women in all kinds of bathing suits played in the pool, laughing happily.