Saudi king pardons woman who was gang raped