Original: Batavia is a city in Jefferson County, Iowa, United States.
Simplified: Batavia is a city of Iowa in the United States.