I guess first you have to define "US Federal Holidays" ...
Like, Easter ? Always a different day.
July 4th ... easy, lol.
Why not set up a user table with simple maintenance form ... which allows the holidays to be populated each year.
This goes to 2020:
http://www.opm.gov/Operating_Status_Schedules/fedhol/2010.aspmx