The Ottomans gave up on Andalusia