I have a 10 year old son and his favorite thing is waterparks and pools. Does Explorer of the Seas have a waterslide, splash area/waterpark like area? The destination ports and date of cruise match our needs perfectly, but I am worried he will be bored since there are several days at sea. Feedback on experiences would be greatly appreciated.