10,000 tons engelskt jern till 19 pund pr ton,