Just wanna point out that #Google has no right showing the Gulf of Mexico's official US name to the rest of the world where this name change is not recognized.
Anyone opposed to this should look into switching to #OSM where we map only what is factually correct (perks of being a global community and not a US megacorporation).
I recommend my personal favourite map app #OrganicMaps. It's very user friendly and the map style is both pretty and readable.
https://organicmaps.app/