The development comes as the U.S. military is drawing up options for President Trump to consider, including possible strikes inside the country.