| Australia’s summer cruise season ends