Trump’s plan to paint the Eisenhower office building could cost at least $7.5M: White House - WKRN News 2