Has COVID-19 had an impact on prices? The case of the cruise industry