Mandatory covid-19 vaccination for healthcare workers: vaccinated and unvaccinated people seem as likely to infect others