who is ruling north korea now?
(JOIN (R government.government_position_held.office_holder) (AND (JOIN government.government_position_held.time_macro 2015^^http://www.w3.org/2001/XMLSchema#date) (JOIN (R government.governmental_jurisdiction.governing_officials) m.05b7q)))