The Case for Mandating a Covid-19 Vaccine at Work and the Case for Merely Encouraging It