Text this: The public health law of the democratic people's republic of korea