How Big is China?