Email Record: The public health law of the democratic people's republic of korea