Three years later, Judas and his companions learned that Demetrius, son of Seleucus, had sailed into the port of Tripolis with a powerful army and a fleet,