Has anyone done a Disney cruise with an older child? Our choices are either this summer or next Easter when he will be almost 11.