Panama Canal record, v. 17, no. 17-20; Dec. 5-26, 1923.