Not a pro but having walked the mall on a few occasions whether it costs $1 or $200 million it's money down the drain because they have no sprinkler system. The grass would be dead by the first of August. I do know sprinkler systems and without one it's a waste of money.
Kill what is left of the current grass, disk and harrow, reseed with Buffalo grass. After a month flood to 1/2 inch. Overseed as necessary. It would never get longer than 6 " and DC gets enough rain and is humid enough that you'd never have to water it. Late fall it would go dormant until spring so it wouldn't be green but it would have stood up to the lefty traffic.