$900 million on construction at the White House