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