Should China's Great Wall be considered a massive boondoggle, since it was intended to keep out northern peoples but didn't seem to hinder the Manchus or Mongols in invading and conquering China?