Does the President know there are 19 larger mansions?
I'm sure he does. He probably owns six of them!