which stadium is larger than nanjing olympic stadium?
workers stadium