Google Maps changes name of Gulf of Mexico after Trump's executive order

Google Maps has changed the name of the Gulf of Mexico, to the Gulf of America, after Donald Trump passed an executive order renaming the body of water in the eyes of the US.