Tectonic evolution of the Coral Sea Basin