No mining in Colombia’s national parks: Inspector General