General Petraeus, what would you do?