“There has been no decision to send ground troops at this time, but President Trump wisely keeps all options at his disposal," a White House official said.