final battle of Caesar's civil war against the Roman Republic, and against the leaders of the Optimate