US Army Choir sings "Do You Hear the People Sing" at 2025 Governors Ball