Panama Canal record, v. 33, no. 4; Nov. 15, 1939.

Tools