Brian - check this link. I have heard that this site may not have the most updated info, but it's worth a start:
http://www.worldcasinodirectory.com/korea-democratic-people-s-republic-of
