Jack Smith officially challenges Cannon’s dismissal of Trump classified document case