Looks Like Trump Won’t Have to Fire Jack Smith After All