Panama Canal record, v. 12, no. 46-50; July 2-30, 1919.

Tools