Who is the president of democratic people's republic of Korea?

North Korea does not have a sitting president, but the space is eternally reserved for the (now-dead) Kim Il-Sung.