I converted it to km. 9 miles is 14km, extremely long swim. He would have had to swim at least 1.1km/hour to make it in 12 hours. That is 22 laps per hour in an olympic size pool. Hour after hour after hour....