The Sword of Gideon comes to mind.
That was its name in the Spielberg movie. The genuine article was called Operation Bayonet.
Exactly. This is basically The Sword of Gideon and Operation Finale to get Eichmann.
However I don’t expect they will target the Iranian and Qataris who funded and supplied the operation.