Cleveland tackjern , eller 12,035 tons mindre än i maj.