Electron cooling for the fermilab p source