Panama Canal record, v. 16, no. 47-50; July 4-25, 1923.