Is there a North Bend, Indiana? If not, isn’t South Bend, superfluous?