In the noise, a man jumped from a high diving platform into the pool, splashing huge waves.