Polybius, Philinus, and the First Punic War