Cerrejón: una operación de minería en constante crecimiento. / Cerrejón: a mining operation in constant growth.