20170601 world.us: It's official: The Obamas are Washington homeowners