United States coast pilot 5, Gulf Coast, Puerto Rico, and Virgin Islands, 4th (Mar. 22, 1958), edition, 4th supplement: Jan. 6, 1962.