Ohio must put Lake Erie on ‘pollution diet’ under settlement terms