an arbitrator, and an arbitrator from Central or S
he Rio Grande belonged to the United States (p. 139), and this wa