Can a Defined-Benefit Pension Plan Under ERISA Reduce Promised Benefits?