Clarity of expression is our friend.
Who is "they"?
logically, the muslims are not going to regret being there, so "they" refers back to spain. lol