The Taking of Granada and the end of the Islamic invasion