Panama Canal record, v. 27, no. 10; May 15, 1934.

Tools