Hacker News Reader

This is what I see in that link (from Canada):

> Gulf of Mexico (Gulf of America)

i.e., it shows both the names.

For me in the US, it shows just "Gulf of America", though I don't know which name was showing 3-4 days ago.