| The world’s cruise industry heads in record numbers to Barcelona, Spain