Panama Canal record, v. 34. no. 5; Dec. 30, 1940.

Tools