How many workers worked on the wall