"As directed by the President, the Gulf of Mexico will now officially be known as the Gulf of America," the Interior Department stated in a statement last week. Google responded by noting that the change complies with its longstanding policy of aligning map labeling with updates in official government databases.

Donald Trump will order the renaming of the Gulf of Mexico and Alaska’s Mount Denali in his first hours as the 47th president, The Post has learned.