Was heißt »Scharf­rich­ter« auf Portugiesisch?

Das Substantiv »Scharf­rich­ter« lässt sich wie folgt von Deutsch auf Portugiesisch übersetzen:

• carrasco (männlich)
• verdugo (männlich)