Yeah, I believe it was Mystic Village, but I'm not 100% sure. I always found that name choice particularly interesting as well--Woolsey slipped a handful of other religious names (well, only Melchior and co. are coming to mind), so I wouldn't be too surprised if he chose to rename the Mystic Village. I guess I'll have to play through the re-translation and see what it's called.
But it's definitely an interesting choice. I'd assume it's to draw a contrast to the wholesomeness of the humans and the sort of enigmatic nature of the Mystics. Islam and some of its founders were subject to extreme scrutiny, misunderstanding, and ridicule, to some extent. You see a similar outlook towards Mystics.
Maybe I'm just assuming too much, it could have been chosen because it sounds pretty and foreign.