Jack Smith, the special prosecutor who led federal cases against Donald Trump, quit the Justice Dept