Fallece José Manuel Ochotorena, portero del CD Tenerife entre 1992 y 1994