On June 11, officials said the National Mall lawn was vandalized. Someone etched the numbers, "8647" into the grass.