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