Cruise ships are getting bigger and bigger. They’re floating hotels, with multiple restaurants and pools, full-size concert theaters, shopping malls. But in the 1970s, as PortMiami was just exploding ...