SEC Chairman Gary Gensler will resign.