מי היה הרמטכ"ל במלחמת יום הכיפורים?