A man has defaulted in the payment of several of his debts, and the court has ordered his property sold to satisfy his obligations. A title search revealed several outstanding liens against the property to be sold. Which of the following liens has the highest priority?
a) Mortgage lien
b) Mechanic's lien
c) Property tax lien
d) Judgment lien