A comissária da SEC, Allison Herren Lee, renuncia formalmente