How Much Land Did Europeans Really Discover?