Supplement 6 to United States coast pilot 5, Gulf Coast, Key West to Rio Grande, 3rd (1949) edition, serial 725; Apr. 2, 1955.