what holiday category is the holiday with a holiday category of us federal holiday?
(AND time.holiday_category (JOIN (R time.holiday.type_of_holiday) (JOIN time.holiday.type_of_holiday m.01g5pq)))