Lago Martiánez in Puerto de la Cruz .