General David Petraeus Says He Would Serve in Trump Cabinet