Machu Picchu, the royal tomb of Pachacutec Inka