coke (processed coal used in blast furnace)