Holy See anthem

I'm watching CNN's live coverage of Pope Benedict XVI's visit to the White House. The band there is to play the national anthems of both the United States and of the Holy See. I didn't even know that the Vatican had a national anthem! I was half expecting something like Pange Lingua or the Te Deum.

P.S. After a bit of searching online, I found some info about the Pontifical Anthem.