If we can’t have Cruz as nominee, better Trump than Rubio