An excellent banjo player in the BART station was playing an upbeat version of "The Battle Hymn of the Republic" with lots of notes and no sadness. That must be the version the guys heard as they marched off to war.