US reportedly took Russian trolls offline on Election Day in 2018 – CNET