United States coast pilot, West Indies, Porto Rico [and adjacent islands]. 1st edition.