Pirates Versus Miners

Suggested by Matt Bugg.

Though, in fairness, there are no records of pirates ever actually burying their treasure...