Music: During what war did Glenn Miller's tragic death occur