United States coast pilot, Atlantic coast; pt. 8, Gulf of Mexico from Key West to Rio Grande, supplement to 2d edition.