مقتل تسعة أشخاص وإصابة العشرات في بنغازي