Utenriksdepartementet hadde definitivt noen problemer med Smartmatic og Venezuela. Hva har skjedd?