Supplement to United States coast pilot 5, Gulf Coast, Key West to Rio Grande, 3d (Apr. 2, 1949) edition, serial 725/7; Jan. 7, 1956.