Dude was a WWII war hero.