Batavia

 (Batavia, Ohio)