Rodrigo Diaz aka El Cid is known as a Christian-Spanish folk hero and subject of epic poetry of a pious, chivalrous crusader, but he also served as a mercenary for Berber and Muslim/Moorish forces. How did the Islamic literature traditions treat him?