10,000 tons engelskt jern å 19 pund sterling pr ton,