Which of these kings left behind the first known lengthy royal inscription?