Bernie Sanders is all but done