Panama Canal record, v. 23, no. 40-43; May 7-28, 1930.

Tools