what is the river that forms part of the border between texas and oklahoma?