Trump sends in the marines