United States coast pilot 5, Atlantic coast, Gulf of Mexico, Puerto Rico, and Virgin Islands, 7th edition, Apr. 1974.