כמה ימים ארכה מלחמת יום הכיפורים?