While the music was playing, a group of people played happily in the pool.