Should health workers who treated Ebola be quarantined?