Google Maps officially adopts Trump's name change for the Gulf of Mexico for US usersGoogle Maps renamed the Gulf of Mexico to the Gulf of America for US users after President Trump's executive order.