official principal

noun

Definition of official principal