Ex-CIA boss Petraeus indicates would serve Trump if asked