How Coal Mining Helped Combat Chemical Warfare