El Partido Demócrata de Estados Unidos tiene hoy dos opciones para enfrentar al presidente Donald Trump en noviembre, pero una de ellas, la eventual nominación de Bernie Sanders, causa pánico entre sus líderes.