Panama Canal record, v. 12, no. 38-41; May 7-28, 1919.

Tools