Does anyone happen to know when DCL switches the ships from Halloween to Christmas decor? We're on DCL in 2018 the week after Halloween (actually, 4 days after). I am crossing fingers the switch the ship during our cruise.