para su destrucción en 1993, según acuerdo entre los gobiernos de ese momento.