Trump's decision to strike Syria