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