Coast pilots. Supplement to United States coast pilot, Hawaiian Islands, 2d (1933) edition; Jan. 11, 1947.

Tools