pretor

In Roman history, a title which originally designated the consuls as the leaders of the armies of the state.

Hence A magistrate; a mayor.

A civil officer or magistrate among the ancient Romans.

Hence, a mayor or magistrate.

an annually elected magistrate of the ancient Roman Republic