When was Antarctica formally discovered by a European expedition?

But there are maps of the continent of Antarctica before that so it's a difficult question to answer...

MickWarts41, I don't know whether the word "formally". I think Europeans rounding Africa and South America ran into it accidentally.