Panama Canal record, v. 30, no. 5; Dec. 15, 1936.

Tools