Libya: Quân chính phủ giao tranh các tay súng ở Bani Walid ngày 20-10, 9 người chết