Panama Canal record, v. 12, no. 42-45; June 4-25, 1919.

Tools