United States coast pilot. Atlantic Coast: pt. 7, Chesapeake Bay entrance to Key West [supplement to 3d edition].