The North Korean nuclear problem