The X account @MAstronomers recently asked what the first city on Mars should be named. Of course, the response was “Conshohocken.”