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