But after time of three years Judas knew, and they that were with him, that Demetrius son of Seleucus went up to covenable places, with strong multitude, and ships, by the haven of Tripoli,