what is the capacity of the stadium that was renamed to honor john charles ?
4,000