SEC-kommissionären Allison Herren Lee avgår formellt