Sharp-eyed readers will notice that I have the house both completely owned by
the King and not at the same time.  No need to comment on this; I fixed the
error.