It was a silly joke. I don't know of any provider real or take that offers North Korean IPs, and I suspect that roughly meets demand.