There’s an obscure crime special counsel Jack Smith might be looking to charge Trump with: ex-DOJ official