I am traveling to Porto for the day and planning to fly. Do I need my passport (US citizen) to board in Lisbon? Is a US drivers license or passport card sufficient? TAP only mentions necessary documents for crossing between Schengen member states, not within one.