Russian operatives have definitely infiltrated the US government.