United States coast pilot 5: Atlantic Coast, Gulf of Mexico, Puerto Rico, and Virgin Islands, 6th (Apr. 29, 1967) edition, 1st supp., sec. 4.