Are there lakes in Iowa?

Lake Red Rock in Marion County is the major lake in Iowa. Its surface area is approximately 15,000 acres.