Industry welcomes updated cruise company stance on mixed vaccinations