Panama Canal record. Panama Canal record, v. 10, no. 52; Aug. 15, 1917.

Tools