Saudi king turns tourist resort in Indonesia to a military barracks