Miguel Marí, hijo del guardameta del Hércules de los años noventa, en el Inter