Panama Canal record, v. 10, no. 46-49; July 4-25, 1917.