Громадянська війна у Підмандатній Палестині (1947—1948)