Google Maps has renamed the Gulf of Mexico as the "Gulf of America" for users in the United States following a formal name change by the Trump administration.

The update, visible on both web and mobile versions of Google Maps, reflects a decision by the US government to modify the designation of the body of water located between the eastern coast of Mexico and the Florida Panhandle.

Google said it follows the Geographic Names Information System (GNIS), a US database of official location names.