diving — sport of jumping or falling into water from a platform or springboard