[Paal Gulli]

"The Sword of Gideon comes to mind."

That was its name in the Spielberg movie. The genuine article was called Operation Bayonet.

[dfwgator]

The Spielberg movie “Munich” was a rip-off of the movie “Sword of Gideon” which was made a few years earlier.