FET naar CRC: Fetch.ai omwisselen voor Costa Ricaanse colón