Cruz, Rubio, Trump, and the Supreme Court