It's about 14-15% of global coal consumption last I checked. That shifts around a bit as use in electrical generation and alternate steelmaking technologies vary. (Electric minimills processing scrap and not requiring coking are a significant source of steel.)