“ ° Después de un intervalo de tres años, los hombres de Judas supieron que Demetrio, hijo de Seleuco, había atracado en el puerto de Trípoli con un poderoso ejército y una flota, ”