North Korean internet goes dark (yes, they had one)