Partially right. North Korean citizens didn’t have internet, but there was a internet connection. I think it was on Reddit where someone found the Peering router and was able to get a rough network topology. It’s how red star OS was found out. They also found apple devices connected to the neteork.