Who was president at the start of the Korean war?

kim jong ill