そんなに水泳速かったなら本名検索すれば当時の記録とかすぐ出てきそうだけどそういうのあるんけ？