Utrikesdepartementet hade verkligen vissa problem med Smartmatic och Venezuela. Vad hände?