Panama Canal record, v. 31, no. 2; Sept. 15, 1937.

Tools