OK? No, not merely ok, but a grand gesture of tolerance and understanding especially as Ramadan approaches.
Perhaps the town (internal struggle, I can't say it) should be renamed Las Crescent? /sarcasm, I must go barf now...
They can rename the city Las Medialunas (the crescents) to show their good will towards any Islamofascists who might pass through after sneaking across the border, while keeping a Spanish name. And the loonies in the media should be happy too.