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