Should Jenna Coleman exit "Doctor Who" after the 2014 Christmas special?