Después de tres años llegó a los hombres de Judas la noticia de que Demetrio, hijo de Seleuco, había desembarcado en Trípoli con una gran flota y un poderoso ejército,