Presidente americano estava sob pressão crescente dentro e fora do partido para deixar corrida. Democratas agora precisarão definir outro nome para enfrentar Trump em novembro