Google Maps will rename the Gulf of Mexico to the Gulf of America for U.S. users, following a controversial executive order by ...