what was the name of the explorer who named the town whose borough has a population of 9,636 ?
salvador