I am aware of that - the port was cancelled two weeks prior to the cruise. I was surprised the refund was issued as an onboard credit instead of a refund to my credit card.
Currently on the Adventure - we had an excursion cancelled due to not being able to stop in Panama. The credit is listed as a refundable credit in our onboard account.