Trump says Mexico may put more troops at the border with the U.S.