Tropical cyclone formation over the Coral Sea