Should Florida track health workers who test positive for coronavirus?