What else can be done to defeat Trump in November other than just telling people "vote"?