Lista bitew i operacji podczas wojny domowej w Mandacie Palestyny