הגדוד התשיעי נערך לסילוקם הסופי של המצרים מהנגב