All five trapped workers who were missing in a collapsed shaft in the world’s biggest underground copper mine have been found dead, an official said on Sunday.

Aquiles Cubillos, the lead prosecutor in Chile’s O’Higgins region, said the body of Moisés Pavez, the last miner to remain missing, was found at 3.30pm local time by rescue teams. They had drilled through dozens of meters of rock to reach the stranded workers.

“We deeply regret this outcome,” Cubillos said.

The five miners – Gonzalo Núñez, Jean Miranda, Alex Araya, Carlos Arancibia, and Pávez were trapped deep inside Chile’s El Teniente mine on Thursday after a section collapsed following a 4.2 magnitude earthquake that