great wall of china half size of texas