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