The Central Bank of Colombia wants the peso to appreciate. The mechanism is foreign exchange reserves (dollars). Should they sell dollars and buy pesos? Or should they buy dollars and print pesos?