port city of Benghazi.