Three years later, news was brought to Judas and his company that Demetrius the son of Seleucus, having sailed into the harbor of Tripolis with a mighty army and a fleet,