Where Is Carbon Taxed?