10,000 tons