The operation occurred after an ISIS gunman ambushed U.S. troops in Syria last week, killing three U.S. servicemembers.