How will Jack Smith pick his battles against Trump’s team? – NBC News