The White House has tried to avoid discussing a February skirmish between U.S. troops and Russian mercenaries in Syria, but that didn’t stop President Donald Trump from bragging about the Pentagon’s performance at a recent closed-door fundraiser.

The details of the battle remain classified, but speaking to donors in midtown Manhattan last Wednesday, Trump said he was amazed by the performance of American F-18 pilots. He suggested that the strikes may have been as brief as “10 minutes” and taken out 100 to 300 Russians, according to a person briefed on the president’s remarks, which have not previously been reported.