Should Jack Smith Leave Trump Alone Now?