The Democratic Party fought Bernie Sanders way harder than they ever fought Donald Trump