Departamentul de Stat a avut cu siguranță unele probleme cu Smartmatic și Venezuela. Ce s-a întâmplat?