United States coast pilot, Atlantic coast, pt. 8; Gulf of Mexico from Key West to Rio Grande.