“The cruise industry is booming” is one of those claims everybody repeats and nobody sources. The numbers behind it do exist, and they are published once a year by the industry’s own trade body. They are more interesting than the…