Trump says he would fire SEC Chair Gary Gensler on Day One. It’s not that easy