United States coast pilot 5, Atlantic coast, Gulf of Mexico, Puerto Rico, and Virgin Islands 6th (Apr. 29, 1967) edition, 5th supplement.