Text this: Prevalence of posttraumatic stress symptoms in health care workers after exposure to patients with COVID-19