China's Great Wall damaged by workers looking for shortcut