We are looking at going on the 4 day cruise with 2 stops at Cocoa Cay and just wondering which ship would be better. We are looking at Navigator of the Sea and Mariner of the Sea. Any input would be helpful. We are looking at either Port Canaveral or Miami.