operativos militares contra la minería ilegal