President Trump went on holiday to New Jersey while the work was taking place. A White House official said it was a "working vacation".