We would probably send in Special Ops teams rather than the Marines (unless we were going all the way, then it would be a bigger force with significant air support.)