Millennials want shorter, more frequent, but still “Instagrammable” vacations, and Royal Caribbean spent $120 million on one 15-year-old ship to give them that. Royal Caribbean’s upgraded Mariner of the Seas is now taking three- and four-day cruises to the Bahamas with hopes that shorter trips...