Google Maps has officially changed the name of the Gulf of Mexico to the “Gulf of America” for U.S. users of the app ...