It's good to ask the questions you have and clarify the fine print. The rules on future cruise credit and cancellation have changed since cruise stoppage. Cash refund turnaround on a cruise line initiated cancellation can take over 2 months, so it is worth checking into. It's often quick to pay but slow to refund.