It's also publicly editable and used to generate a bunch of other maps - even for government use. It would be a damned shame if people created burner accounts and started renaming things owned by Trump and Musk...
OSM will also eventually change it. It's the official name of the gulf in the US. Like it or not, that's the reality. Just like how English maps show "Japan" written over the country called Nihon.
I guess there's multiple ways to address this. Google has the resources to easily serve different maps to each country, while showing multiple names is an easier strategy.
OSM also uses localized names for places. So there might be name changes happening there as well.
Not sure exactly how they do it for international names, they probably have a system, but if Trump starts renaming towns and states in the US like "State of Pu**ygrab", "State of Hillaries-emails" or whatever, everyone has to adapt, in order to not be disrespectful of the people and culture of the united states as is making any kind of fun about these cultural and historic differences. People from outside just do not understand them and their need to validate their place in the world as deeply as the people living there.