Ted Cruz: If Needed, ‘We Should’ Use Ground Troops to Fight ISIS