Yechiel Ginzburg - Porto

Hello,

I've found a family tree image in The Jewish Encyclopedia about "Jechiel of Porto", which seems to match this profile: https://jewishencyclopedia.com/articles/6945-gunzburg (full article: https://jewishencyclopedia.com/articles/6945-gunzburg )

Can someone provide any other reference to this profile? I'm trying to validate whether the Porto referenced here is the city in Portugal.

Thanks!