У Государственного департамента действительно были проблемы с Smartmatic и Венесуэлой. Что произошло?