Banking supervision and external auditors: Theory and empirics