After reading that, I guess our Cruise for August 15th is canceled. I wonder how long we'll have to wait for our credit to the credit card.