Coast pilots. Supplement to United States coast pilot, Gulf Coast, Key West to Rio Grande, 2d (1936) edition; Apr. 15, 1944.