name of a place, name of a county in today’s Henan Province