What role is the president playing when he deploys troops to a foreign country?