Yuppers, and he had to pay his own way home, too. Carnival's Nazis are ruthless about this policy. One cig on your person and you're off, luggage on the pier, on your own.
It should also be pointed out that Carnival owns several "brands," having acquired all their once independent cruise operators. Carnival owns Holland America, P&O's Princess Line and a couple of others. All of the acquisitions were hostile to semi-hostile. Fortunately, Carnival has allowed its brands to operate pretty much autonomously, since they are all profitable.
Michael