Bernie, Trump and HRC