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