Was it the right decision for General Petraeus to resign as Director of the CIA?