As of Tuesday, the USGS is greeting visitors to its National Map Viewer, which still says Gulf of Mexico, with the following message: "Per Secretarial Order 3423, the Gulf of Mexico has been ...