Another 3,000 soldiers to the US southern border