Panama Canal record, v. 25, no. 40-43; May 4-25, 1932.