commutation {of a punishment or penalty}