Top US SEC Executive Quits After 9 Years Of Service