i read that the worldwide production of coke was about 900 tonnes in 2014 (peru the biggest producer with about 350 tonnes), is it really 2000 nowadays in just 5 years?