But after the space of three years Judas, and they that were with him, understood that Demetrius the son of Seleucus was come up with a great power, and a navy by the haven of Tripolis to places proper for his purpose.