Should Trump continue to be the leader of the Republican party, or should there be a new leader?