Does anyone have suggestions if someone that arrived in Korea thinks their PCR test may be positive due to having recovered from COVID a month ago? They have documentation that they went to the doctor a few weeks after testing positive and got a good bill of health.