Now after a space of three years tidings were brought to Judas and his company that Demetrius the son of Seleucus, having sailed into the haven of Tripolis with a mighty host and a fleet,