Amendment Would Make Next Year's Civil Service Pay Raises Equal to Military's