Pipe. No. 10887, Gulf Pipe Line Company of Oklahoma v. Texas & New Orleans Railroad Company, director general, et al.; decided May 3, 1920; report [and order] of commission.