Tripoli har förut omnämnts ,och