While the Washington Post post is a good introduction, the NBC News story linked from it has more of the history and alternative explanations for the name.

Though Castrillo Matajudios has just 56 residents, the election's outcome is not yet known.