Coast pilots. Supplement to United States coast pilot, West Indies, Puerto Rico, and Virgin Islands, 3d (1929) edition.