Historiae Belli Punici — work by Lucius Arruntius