Still, if we do want to rename the Gulf of Mexico, our best bet would be to give it a name that sounds so indisputably cool that everyone would agree, territorial issues aside, that’s just a darn good name for the thing. In the interest of global harmony, here are some suggestions for what to call the Gulf of Mexico going forward.

( The Hill) – Google said on Monday that it will change the name of the Gulf of Mexico to “Gulf of America” in Google Maps once it is updated in the U.S. Geographic Names System. Google Maps will also change the name of Denali in Alaska to “Mount McKinley.”