West Indies. Sailing directions for West Indies, v. 1, Bermuda Islands, Bahama Islands, and Greater Antilles: sec. B, Principal ports [corrected to June 19, 1940, including Notice to mariners no. 25].