Al cabo de tres años, Judas y los suyos supieron que Demetrio*, hijo de Seleuco, había desembarcado en el puerto de Trípoli con un poderoso ejército y una flota,