Saudi king orders Eid holiday bonus for some citizens