那个矿工必须当众枪决，以使其他人安分守已不再杀害我们的人。

• The coal-miner must be shot publicly, so that others will then restrain themselves from killing our men.