They released footage of JFK getting his head blown off as well as Reagan getting shot but some nutjob, but hesitate with a world-wide terrorist??
I would expect they’d like to avoid revealing the identities of any of the men who took him down - at least I’d hope they would.