Ken Paxton ran as a candidate in the United States Senate election in Texas