I vaguely remember that at least one cruise line had reduced their crew’s awhile back, but had recently begun re-crewing the ships.