Scroll down and a map shows up with New Guinea connected to Australia but a small missing part on that map shows where in this perspective the Torres Strait could have been.
See also:
The Colonial Warship the Doerga explored northern Australia (1825-1826)
Dutch Explorers in the Gulf of Carpentaria
First contact between the Dutch and the Aboriginal People