Coast pilots. Supplement to United States coast pilot. Gulf Coast, Key West to Rio Grande, 2d (1936) edition; May 18, 1946.