> The "correct" conversion to (modern) miles would be 20

In nautical miles it would be closer to 15 ;-)