Integral to the story of the origin of the name "Antarctica" is how it was not named Terra Australis—this name was given to Australia instead, and it was because of a mistake made by people who decided that a significant landmass would not be found farther south than Australia. What explorer opposed naming Australia  after Terra Australis?