Will Mike Duke retire in 2013?