Overview of tourism activities in Teide National Park, Spain