what is the definition of us trading holiday?
(AND time.holiday (JOIN time.holiday.type_of_holiday m.03wly3b))