min' mina (minería, militar)