Theory of the Portuguese discovery of Australia