Trump changed U.S. policy toward Libya. This is why it matters.