"And he called the porters; and they told it to the king’s household within."