Primary Election 2020 : 2020 republican party presidential primaries, Election Results 2020, 2020 texas republican primary