For the cruise, do they need green card or citizenship?