First cruise ship sets sail since pandemic shut down, so what’s changed?