What did President James Polk hope to gain as a result of provoking a war with Mexico?