Trump knew he’d lost in 2020, according to Jack Smith