Chinese coking coal jumps as deadly mine accident tightens supply outlook