Given Nautical Miles are defined as exactly one arc minute of the earth, would different planets have different nautical miles, depending on the length of their arc minutes?