The voters were confused and went with the name they knew. When TRUMP shows up there, as he has promised to do, things will be different, and the Republican base will know EXACTLY what to do.
And, hopefully, that will be the end of this HUGE EMBARRASSMENT to the Republican Party.
but since there is no longer a party primary I’m not sure how that will matter.