Coast pilots. Supplement to United States coast pilot, West Indies, Puerto Rico, and Virgin Islands, 4th (1939) edition; June 2, 1941.