Mandating the COVID-19 vaccine