Eutropius, A Breviary of Roman History (1684)