Державний департамент дійсно мав певні проблеми з Smartmatic і Венесуелою. Що сталося?