Amid escalating tensions over Syria, Trump weighs options