Hot-Rolled Coil Hit $1,145 a Ton and Mills Are Still Raising