I just came off the Harmony of the seas and i'm already jonesing for another cruise this year. I was looking at a shorter cruise the week of Thanksgiving. I found 2 cruises that fit that bill, they both go to Mexico, one is Navigator of the seas and the other is Independence. It would be a family cruise, my boys are 5 and 8. Which ship would you pick and why? Thank you!