There’s a couple of VPN’s out there that list having servers in North Korea. I’ve emailed a few of them to get some more information but this post investigates everything nicely and explains why it isn’t true: https://blog.benjojo.co.uk/post/north-korea-dprk-bgp-geoip-fruad