First thing the Democrats would have done — tip off the editors of the NYT and WaPo. Within hours it would have been headline news : “Major US operation underway to capture or kill bagdadi”. Trump would have had to call it off or risk losing Bagdadi while taking casualties.
Then the next set of headlines —”Trump’s Syria pullout leads to US casualties and Bagdadi getting away”.