La ciudad de Bani Walid fue tomada el 17 de octubre.