The President doesn't have an ability to officially change the names of these locations.

They have the ability to change name services in some database somewhere. But it's not actually an official name change.

So all this hand wringing about official names or whatever ignores the reality of the situation. This is just another temper tantrum by Trump that we reasonable people can ignore.

The easiest way to do that is to just say Gulf of Mexico.

> They have the ability to change name services in some database somewhere. But it's not actually an official name change.

Is it Congress who officially holds that power, then? And are you saying that if Congressional Republicans passed a bill renaming whatever, and Trump signed it, you'd then acknowlege it? Given how vanishingly little they accomplish in Congress already, I'm not sure we'd be better off distracting them from their semiannual debt ceiling/budget hostage situation in order to debate these inconsequential things.