Disney cruise was awesome, on one of the big new ships. I would recommend.
And to be fair, Carnival did buy Disney cruises, though things have changed in the years since.
http://articles.sun-sentinel.com/1991-04-16/business/9101190...
In the early 90s, Carnival bought Premier Cruise Lines (or most them, at least). They were supposed to assumed Premier's role as provider of "Disney" cruises, though I can't confirm that happened.
Disney started running its own cruise line in 1998. TIL