Coast pilots. United States coast pilot, Atlantic Coast: pt. 8, Gulf of Mexico from Key West to Rio Grande; [by Glennie Tarbox and John Ross]. 3d edition [revised by John Ross and Harry L. Ford].