Construction of the sump at Mines Box-cut