which river forms part of the border between oklahoma and texas?