As far as I know, all cruise chips sailing in international waters use $ denominated chips. All NCL ships sailing from the UK do so, so I imagine these would be the same.