Cascada molino redondo, DIEGO DEL CARPIO