We are contemplating a cruise on Norwegian Cruise Line that’s entirely in the Schengen area (Greece, Malta, Spain, Portugal), ending 6 Oct 2024. My wife has a US passport that expires 18 Mar 2025, which is less than 6 months before the completion of the cruise. My wife and I live in the Schengen area, in Portugal, and she has a Portugal residency card that’s valid until 2026. We would fly from Portugal to Greece around 19 Sep 2024, and cruise from Greece back to Portugal. Given that she’s already in the Schengen area, and holds a Portugal residency card, can she be denied entry or boarding based on her US passport having less than 6 months of remaining validity? Please provide a citation with the answer.