Josephus, Jewish War 5.551–52.