Donald Trump vant. Det gjorde også Ted Cruz – og Marco Rubio.