Panama Canal record, v. 12, no. 7-11; Oct. 2-30, 1918.