Replaced motor. This didn't seem to work at first, but I noticed that with the motor and pump in place, when I turned the clutch assembly by hand that the part of the motor shaft that is supposed to drive the pump did not seem to be turning. I then unclipped the pump from the motor and tried to get the pump to turn by jamming something in the drive hole and turning, but it would not turn. So I disconnected the pump and found a sock jammed tightly in the pump. Once I was able to remove that and put everything back to together, it worked.
In the future if I suspected the motor was bad, I would check to see if the pump is jammed first. The motor likely burned out trying to turn a jammed pump. Actually, I'm not sure if the old motor is burned out, since the new one was already in and it made sense to leave the new one in and not put back a 20 year old motor that had smelled burning.
The hardest part of the repair was getting the sheet metal washer cover back on the rest of the machine. It still isn't on quite right, but it doesn't really matter