It’s official: Google has now changed the Gulf of Mexico to the Gulf of America in Google Maps for U.S. users, following U.S. President Donald Trump’s executive order to change the name of the ...