By the pool, a group of people in bathing suits were dancing to the cheerful music.