> 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.