Operation Gladio: A cold war boogeyman that cost the lives of thousands. Did this operation ever truly end?