Trump considering Petraeus, others for Pentagon chief