Tragic end to search for miners missing after ‘ground collapse’