History of North Korean nationality law