【7月22日 AFP】第13回世界水泳選手権男子高飛び込み決勝。