to half-pay, and commutation of half-pay, granted by Congress to the officers of the