Resolves fdo#84260: Wrong CRC Costa Rica currency symbol

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

Cherry-picked from aa33dd16b0e3075f28c56656678c0f5cb7642222

Change-Id: I6c30b2bd244f2ea40d56c812673922f27f5d53c8
Reviewed-on: https://gerrit.libreoffice.org/11635
Reviewed-by: Caolán McNamara <caolanm@redhat.com>
Tested-by: Caolán McNamara <caolanm@redhat.com>