Port Jervis — city in Orange County, New York