Trípoli (nombre propio): Ciudad capital de Libia.