Google changes name of Gulf of Mexico to 'Gulf of America' for U.S. users

Google on Monday changed the name of the Gulf of Mexico to "Gulf of America" for those using its Maps platform inside the United States, complying with an…