Deep circulation driven by strong vertical mixing in the Timor Basin