From Holden:

Consider the fact that a prosecutor is not required to prove that a murder was committed in order to indict a group of individuals for conspiracy to commit murder.

The same applies to revealing the identity of a covert agent, no?