Coast pilots. United States coast pilot, Gulf Coast, Key West to Rio Grande; [prepared by Harold A. Cotton].