[diggernet]

One detail I've not seen mentioned in these discussions is that the EO specifically identifies "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". I'm not sure exactly what that looks like on a map, but it's clearly focused on US coastal waters. (Which kind of makes sense, because GNIS has no naming authority outside of US borders.) But it also makes the implementation by Google Maps wrong, since a large part (a majority, I think) of the gulf is still the Gulf of Mexico. It seems like the area should be drawn as two adjacent gulfs, the Gulf of America to the North and East, and the Gulf of Mexico to the South and West.

(Not debating the merits, just pondering mapping details.)

[AlotOfReading]

This depends on whether it's a regional name applied to the body of water or a specific name applied to the territorial waters within the greater region encompassed by the original name. Google has chosen to regard it as a regional name applied to the entire body rather than as a specific name for territorial waters implied by the EO. They do this for other regionalized names like "South China Sea" (e.g. "East Sea" in Vietnam).