Trump: more troops needed at border with Mexico