I want to know the answer to the following question:
Who is the miners' patron saint?
All the background I'm provided with is that "It is celebrated in honor of the miners' patron saint, Vírgen de Socavon (the Virgin of the Tunnels).". Is that enough to answer the question?