SEC-kommissær Allison Herren Lee træder formelt tilbage