convert 20,000 nautical leagues to miles