If you look at the gulf from basically any other countries location (via vpn or otherwise) it’s still named as Gulf Of Mexico in most map software.

As much as Trump doesn’t like the thought, this name change is not going to be permanent. Names need to be accepted universally, you can’t just take something and say “yea its called this now” while everyone else laughs at you and expect that it’s going to stay.

for perspective, this is what it looks like on google maps (top) and apple maps(bottom) while vpn’d into Toronto. (excuse my poor copy/paste skills) Both clearly show that the gulf of Mexico is named the gulf of Mexico, and then add in parenthesis the new name that the US wanted to implement.

screenshot of gulf of mexico for both google maps(top) and apple maps(bottom)