Would another Trump defeat end Trumpism?