Thankfully in this case the miners are able to receive supplies. But what if the situation changed? I don’t know. Ask Lon Fuller? See my podcasts on the Case of the Speluncean Explorers here and here.