And he called the porters; and they told it to the king's house within.