Josephus, War 2.511; Life 394.