Jack Smith files to drop Jan. 6 charges against Donald Trump