Rubio’s surge means Trump wins the nomination