which river forms the border between oklahoma and texas?