Coast pilots. Supplement to United States coast pilot, Atlantic Coast, section E, Gulf of Mexico from Key West to Rio Grande.