Hello. I recently traveled on the Independence and Explorer cruise ships and noticed that the food quality has gone down a lot. At least only at the Windjammer. And the options in the buffet are no longer as varied. Has anyone noticed this? Are they cutting food expenses to cover losses by Covid19?