McHenry notified the DOJ officials — who have not yet been identified — of their firings in a letter. It’s unclear exactly how many officials received termination letters from McHenry.