“A new ballroom at the White House, originally estimated to cost $200 million, has had its size doubled.”