Panama Canal record, v. 30, no. 8; Mar. 15, 1937.

Tools