“Never Trump” Republicans went Democrat in 2018. Are they gone for good?