William whiston the works of flavius josephus