'Over 10,000 texts' between ex-Mueller team officials found, after discovery of anti-Trump messages