Amundsen versus Columbus