Names are important symbols, and President Trump is trying to change, or change back, quite a few. There’s the “Gulf of America” of course, but also the reversion of a military base from ...