Climate Policy in a Decentralized World -- 25. A Global Carbon Market and the Allocation