Panama Canal record, v. 33, no. 10; May 15, 1940.

Tools