Oklahoma. No. 23, original, in Supreme Court, Oct. term, 1920, Oklahoma v. Texas, United States, intervener; supplemental amended petition of intervention of United States in further answer to amended petition of A. E. Pearson et al.