Texas Pipe Line Company v. United States; Texas Pipe Line Co. of Oklahoma v. [same]; Texas Company v. [same]; Texas Company et al. v. [same]; special findings of fact [conclusion of law, and opinion of court], decided May 31, 1932.