Google has officially renamed the Gulf of Mexico for US users.

Google Maps will change the name of Gulf of Mexico to Gulf of America when the US government officially makes the change ...

Google Maps has confirmed that, following the US GNIS, it will rename the Gulf of Mexico to the "Gulf of America." ...

President Donald Trump signed an executive order last week requiring the federal government to change the name of the Gulf of ...