Supplement to United States coast pilot, Gulf Coast, Key West to Rio Grande, 3d (1949) edition; Jan. 1, 1950.