Trump: Up to 15,000 troops may be sent to border