Panama Canal record, v. 24, no. 44-47; June 3-24, 1931.

Tools