Panama Canal record, v. 13, no. 42-46; June 2-30, 1920.

Tools