republic day in portugal is on what day?
(AND time.day_of_year (JOIN time.day_of_year.holidays m.0y4b7hc))