This is a comment sub-thread about DPRK