وقت الصلاة في كوريا، الجمهورية الشعبية الديمقراطية