Google Maps officially adopts Trump's name change for the Gulf of Mexico for US users
As of Monday night, when users in the US search for "Gulf of Mexico" in Google Maps, they are presented with a result for ...