Google Maps name change

Google Maps has changed the Gulf of Mexico to the Gulf of America for users in the United States. This…