This paper develops a general equilibrium model to measure welfare eects of taxesfor correcting environmental externalities caused by domestic trade, focusing on externalities that arise through exports. Externalities from exports come from a number ofsources. Domestically owned ships, planes,...