La basílica de Llanes se llenó ayer para dar el último adiós a Antonio Batalla Díaz "Machi", histórico marinero llanisco fallecido el pasado martes a los 99 años de edad. Machi, enrolado en el bando republicano, tomó parte en la legendaria batalla de El Mazucu durante la Guerra Civil, informa E. G. CEA.