I mean, in this case, he has the rest of the English-speaking world to stop him with stupid renaming. If everyone just refuses to call it anything other than the Gulf of Mexico, it’s not like he can do anything about it, especially if they’re outside of the US.
Meta (Facebook) -> Friendica (?)
Twitter/Threads -> Mastodon
Instagram -> Pixelfed
Reels/TikTok -> Loops
Reddit -> Lemmy
WhatsApp -> Signal
Discord -> Matrix, encryption enabled
SoundCloud -> Funkwhale
Windows -> Linux Mint
Mac -> Asahi Linux
Android -> LineageOS/GrapheneOS
Netflix -> Jellyfin + Arr stack
Private business, with wealth exceeding that of nations, then hire mercenaries and assassins, and within a week the Senate, House, Judiciary and Executive branches are empty. Now the Federal government can decide if they want to try anything.