Donald Trump is obsessing over remodeling the White House like no other president. He has gilded the Oval Office, replaced trees, paved the Rose Garden lawn, hung art and mirrors all over, erected flagpoles and begun work on a $250 million ballroom.

White House budget director Russell Vought said more than 10,000 government employees could be laid off during the government shutdown.