SEC-commissaris Allison Herren Lee treedt formeel af