Cooling or quenching coke