Coin substitution: colón versus dollar