Google changed the name of the Gulf of Mexico to "Gulf of America" for those using its Maps platform inside the United States, complying with an executive order by President Donald Trump.