Noticias Tenerife 16 de Julio, Día de la Virgen del Carmen, Patrona de la Armada Española