Mandatory COVID-19 vaccination for healthcare workers: A discussion paper