Operation Gladio, (NATO Forces)