Panama Canal record, v. 29, no. 6; Jan. 15, 1936.

Tools