It’s official: Google has renamed the Gulf of Mexico as the Gulf of America on its Maps interface. At least for people using the app or website in the U.S. On Monday, the tech giant announced it had ...