Trump sends more troops to Persian Gulf