HM on Nostr: Which map first shows Antarctica, officially?Which map first shows Antarctica, officially?