The Mismeasure of the Pecos River: Royce Tipton and the 1948 Pecos River Compact