Proceedings of International, Water, Boundary Commission, United States and Mexico, treaties of 1884 and 1889, equitable distribution of waters of Rio Grande.