Donald Trump 68.94% (5,139 votes)
Ted Cruz 14.57% (1,086 votes)
Marco Rubio 6.75% (503 votes)
Chris Christie 3.69% (275 votes)
Where are these numbers coming from?