This paper develops a general equilibrium model to measure welfare effects of taxes for correcting environmental externalities caused by domestic trade, focusing on exter- nalities that arise through exports. Externalities from exports come from a number of sources. Domestically owned ships,...