Cerrejón is one of the largest open pit mines in the world