At some point, I thought on the way out of the Capitol, they played "Faith of our Fathers", which is also known as the National Hymn. I know they played Eternal Father, Strong to Save at some point too. They also played "Abide with Me", which I had played at my Mother's funeral, and would like to have played at my own.
Have you ever gone to cyberhymnal.org and searched the hymns you love?
http://www.cyberhymnal.org/htm/f/a/faithoof.htm
FAITH OF OUR FATHERS
Faith of our fathers, living still,
In spite of dungeon, fire and sword;
O how our hearts beat high with joy
Whenever we hear that glorious Word!
Refrain
Faith of our fathers, holy faith!
We will be true to thee till death.
Faith of our fathers, we will strive
To win all nations unto Thee;
And through the truth that comes from God,
We all shall then be truly free.
Faith of our fathers, we will love
Both friend and foe in all our strife;
And preach Thee, too, as love knows how
By kindly words and virtuous life.