Panama Canal record, v. 30, no. 2; Sept. 15, 1936.

Tools