The book of Proverbs names two Kings who made original contributions. Which Kings are they?