Batavia (city), New York