The long history of Derna, martyr city of Libya