Traitorjoe wouldn't remember it five minutes later anyway.
The question is - Did Traitorjoe's puppetmasters know?
The Pentagon, the FBI and the CIA may feel like they didn't need to know. If so, interesting.