In the pool, a group of people played happily.