El Defensor del Pueblo manifiesta su "enorme tristeza" por el fallecimiento de Manuel Marín