which river makes the border between oklahoma and texas?