It’s actually happening.

Google Maps is renaming the Gulf of Mexico to the Gulf of America. At least for USA users.

I don’t believe anyone when they say “Trump is just trolling”.

https://www.reuters.com/world/us/google-maps-rename-gulf-mexico-gulf-america-us-users-2025-01-27/