What is th eofficial song of the president of th e US?

Hail to the Chief.