Portfolio diversification during the COVID-19 pandemic: Do vaccinations matter?