Just put him on the suspended list now. No pay, no time credited. Nationals don't have to do anything and even if he sits the season he will not be a free agent next year because of the contract he signed. He's the Nationals property for a year when he playing, on the suspended list the clock and calendar will not start. He will be begging to play sooner than you think.