How many names will be inscribed around the edges of memorial pools?

While the exact number of people who died that day are still unknown, it is expected to be in the region of 3000 names to be inscribed.