The classic capital tax policy externality is studied in the presence of a social security program where both the benefits and taxes depend on wages in an overlapping generations economy with many countries and mobile capital. We study the response and welfare implications of a coordinated...