Korea: “people to carry two types of masks in summer — a surgical mask and a heavy-duty mask, similar to the N95 respirator masks worn by health care workers”