Process of making coke from coal