This led me down a rabbit hole of seeing if there's any strains of Islam in DPRK and sure enough, there is a Shia mosque on the grounds of the Iranian embassy that hosts Friday prayers, Eid celebrations, etc for anyone interested.
Located within the grounds of the Iranian embassy in Pyongyang, the Rahman Mosque was established in 1985, according to a sign posted on the outside of the building. Iran, a predominately Shia Muslim country, originally built the mosque at its North Korea embassy compound for staff-only use. But today, Muslims of all faiths can attend services at the Rahman Mosque, and the site is a key pillar of the Islamic community in Pyongyang
pretty neat