World crude steel production at 1.85B tons in 2023