Obama joked about Trump renovating the White House. Then it kind of happened