Metals & Mining Weekly: US HRC Steel Prices Hold Firm Near $900/st as Mill Discipline Keeps Lead Times Steady