Macroprudential versus Ex Post Policies: When Domestic Taxes are Relevant for International Lenders