Martian craters are typically named after towns around the world that have fewer than 100,000 residents to avoid political pressures.