Panama Canal record, v. 24, no. 18-22; Dec. 3-31, 1930.