WATCH: Trump's plan to paint Eisenhower building white could cost at least $7.5M, White House says - PBS