O Departamento de Estado teve realmente alguns problemas com a Smartmatic e a Venezuela. O que aconteceu?