Panama Canal record, v. 10, no. 42-45; June 6-27, 1917.

Tools