How do place names get made and then changed? There’s a process. But it involves people as well as bureaucracy, so it’s not simple or quick, as President Trump is about to find out.