(v)quenchcool (hot metal) by plunging into cold water or other liquid“quench steel”