Resolves fdo#84260: Wrong CRC Costa Rica currency symbol

See https://en.wikipedia.org/wiki/Costa_Rican_col%C3%B3n

Change-Id: I6c30b2bd244f2ea40d56c812673922f27f5d53c8