Saudi king orders punishing jihadi fighters