Map users in the U.S. will see the new name, while users in other parts of the world will see both when looking at the waters ...
The change comes weeks after President Donald Trump signed an executive order to officially change the gulf's name in the U.S ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results