Is Google Maps changing Gulf of Mexico to Gulf of America?

Google will change the name of the Gulf of Mexico to the Gulf of America in its Google Maps app, the company has said, after US President Donald Trump ordered that the body of water be renamed in US government documents.

Among the numerous…