What is a king?