Trump has now twice used U.S. forces to carry out risky operations against American adversaries.