Muere un operario en el Puerto de Marín tras tener un accidente con la grúa que manejaba