El Chorro. Barranco Milán, TEJINA DE LA LAGUNA