praetor peregrinus — official of the Roman Republic