Espelho d’água do National Mall será restaurado após o 4 de julho, diz Trump