The gunman, who US officials identified as an ISIS militant, was killed. Read More Post navigation Trump vows retaliation after US soldiers killed in Syria attack While You Were Sleeping: 5 stories you might have missed, Dec 14, 2025