The Songwriter Goes to War: The Story of Irving Berlin's World War II All-Army Production of This Is the Army