Panama Canal record, v. 32, no. 10; May 15, 1939.

Tools