Battle injuries of the arteries in World War II.