They sure as hell better not go back to digging.

Really, when you're trying to rescue 6 guys that probably didn't survive the cave in and almost surely haven't survived all this time, and 3 rescuers get killed with 8 injured, I think that means it's time to stop.