North Korean electricity supply and the coal mystery