The "correct" conversion to (modern) miles would be 20, both because 30 has only one significant digit and because it makes more sense to round 18.x to 20 than to 15.