A group of people swam and frolicked in the outdoor pool amid the cheerful music.