For Democrats, a Bernie Sanders quandary