Trump’s Morocco Decision Was Sound