Impact of the COVID-19 pandemic on politics 2020 Wisconsin Democratic primary, 2020 Wisconsin Republican primary