Panama Canal record, v. 24, no. 5-8; Sept. 3-24, 1930.

Tools