Trump is willing to take military action in Syria again if needed — Pompeo