. . . "Saudi Arabia and other Gulf states sent troops to help quell the revolt." .