The 85th Infantry Division in World War II