Did ancient historians (before modern era) ever wonder how the pyramids of Giza were built and how such an ancient people could have built them?