The Gulf of Mexico is now called the Gulf of America for Google Maps users in the United States, keeping with the terms of President Trump's controversial executive order to rename the body of water.

After U.S. President Donald Trump issued an executive order renaming the Gulf of Mexico as Gulf of America in January, some digital maps quickly ... All the individual islands, rocks, and cays ...