The pandemic could mean the end of the cruise buffet