Panama Canal record, v. 17, no. 47-51; July 2-30, 1924.

Tools