I am not sure (I didn't even notice a name on the smaller one) - USGS data seems to indicate that the smaller one is called Sears Lake. I did a cursory search of McLean county's website and couldn't find anything referencing the larger body of water