One of the Cantigas de Santa Maria tells the story of man that is killed by a mob for going to Seville when it was still under Islamic rule. Are there any real recorded cases like that?