I'm traveling on the Pride out of Dover on a European cruise. I'm considering redeeming some points I have for a Carnival gift card to use onboard but one of the terms and conditions states that the card can only be used onboard if the ship's currency is USD. Is the ship's currency on a European sailing Euro so use of the Carnival gift card won't work?