$700 million plan to restore the National Mall