About 4,000 more US troops to go to Afghanistan