WTF?

the del sol IS the successor to the CRX. and was badged

CR-X
del sol

and for certain years (before 96) the del sol in America WAS badged

Civic
del sol