Panama Canal record, v. 26, no. 10-13; Oct. 5-26, 1932.