Court filing indicates Russian troll farm targeted Mueller himself in 2018