Josephus, Jewish War 5.137, cf. 1.402; and Antiquities of the Jews 15.318.