Mattis says not decided on number of additional US troops for Afghanistan