Vascular Surgery in World War II: The Shift to Repairing Arteries