Sure, then the terrorist would have been warned and there would be breaking news about how the mission was a failure.
But fortunately Trump outsmarted them.
Now we had a successful mission and Dems are whining.
Whining?
More like crying, whimpering and screaming.
So President Trump and his team knew who has been leaking and how. The leakers must be worried.