Importing 2,500 tons of coke