what is the fight song of duke blue devils football
(AND sports.fight_song (JOIN sports.fight_song.sports_team m.03gq8gh))