^ July 31, 2026 by jlamprecht https://en.wikipedia.org/wiki/Holidays_with_paid_time_off_in_the_United_States#cite_ref-38
