Colombia’s mining ban may lead to illegal mines