A comparison of infrared, radar, and geologic mapping of lunar craters