Google Maps has officially changed the Gulf of Mexico's name to the Gulf of America for US users, following President Trump's executive order. The company said Monday's update was part of its ...