What did James k Polk do when he was president?