Why mandatory vaccination for healthcare workers should not be scrapped