In the noise, a man on the diving board jumped into the water and there was a cry of alarm from the people around him.