If anybody actually read the text of the executive order, they would immediately see that, unlike Trump & co. claim, it actually does not rename the Gulf of Mexico:

rename as the ‘‘Gulf of America’’ the U.S. Continental Shelf area bounded on the northeast, north, and northwest by the States of Texas, Louisiana, Mississippi, Alabama and Florida and extending to the seaward boundary with Mexico and Cuba in the area formerly named as the Gulf of Mexico

This “renames” as “Gulf of America” the part of Gulf of Mexico in US territorial waters. (Though how you can “rename” something which never had a specific name is unclear to me.) In other words, it is simply incorrect to label the entire gulf as Gulf of America even according to the text of the executive order. Instead, Gulf of America should be a sub-area in the northern part of the Gulf of Mexico.

OpenStreetMap is the “Wikipedia of maps”, which provides free user-created map data. There are many navigation apps which use OSM data. Organic Maps is one that is often recommended.

For me, the most-used Proton service after email is their calendar. What privacy-friendly calendar alternatives are there that you can recommend?