Operation Finale, the story of the extraction of one of the masterminds of the Holocaust, Adolph Eichmann from Argentina