Claim: Shanzhou District within the Province of Henan does not include the city Sanmenxia.
Evidence: Henan Sanmenxia