"Two of his top national security officials at that time — his national security adviser, John Bolton, and the acting defense secretary, Patrick M. Shanahan — declined to comment for this article."
If he leaked intel of the operation, he plausibly would decline to comment on the article. That said, Bolton doesn't seem like the type to leak information about a Navy SEALs ops.