How did President Polk's placement of soldiers along the Rio Grande contribute to the outbreak of war with Mexico?