Should health workers traveling from West Africa be quarantined?