Pricing Currency Risk: Facts and Puzzles from Currency Boards