Why David Petraeus would be a smart choice for Trump's secretary of state