which county has an ihsaa class of aaaa, and a mascot of cardinals?
45 lake