Distribución: Perú (Cusco, Parque Nacional de Machu Picchu)