Departament Stanu miał pewne problemy z Smartmatic i Wenezuelą. Co się stało?