Donald Trump has left the race, vote for Ted Cruz right?