Should Stephen Mandel run for re-election or should he retire?