What happened to North Korea's president?