Is there any actual evidence that the Marine Corps nick name "Devil Dogs" and the 82nd Airborne's first brigades "Devils in Baggy Pants" were actually written in retreating German officer's journals in WWI and WWII respectively?