Panama Canal record, v. 23, no. 44-47; June 4-25, 1930.

Tools