Nope, no cruise for us. 😞
HAL cancelled our cruise. We were told to expect our refund in 7-10 days. We didn't ask if that was calendar days or business days because, well, did they mean solar days, lunar days, 24 hr periods based on EST or PST, etc.
We learned our lesson. 🙂