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.<p>(Not debating the merits, just pondering mapping details.)