Coast pilots. United States coast pilot, West Indies: Porto Rico and Virgin Islands; [compiled by George D. Cowie].