what day is portugals independence day?