Should Texas Republicans choose Ken Paxton or John Cornyn in the Senate runoff?