Panama Canal record, v. 10, no. 50 and 51; Aug. 1 and 8, 1917.

Tools