That's 14 kilometers for those wondering.
Ah, here we go - "The Holes Around Mars" by Jerome Bixby: https://scifi.stackexchange.com/questions/143541/short-story...
Code seems to use SI, but imperial in comments.
https://en.wikipedia.org/wiki/Apollo_Guidance_Computer#DSKY_...