If Trump Loses, Does the Republican Party End?