Operation GLADIO.