The music sounded, and people dived in the swimming pool.