Indonesia’s biggest coal-producing province of East Kalimantan recorded a spike in coronavirus cases, with miners among those infected, but so far there has been no disruption to coal operations, a local official said.

The Southeast Asian country is the world’s biggest thermal coal exporter.

East Kalimantan on Borneo island reported 979 coronavirus infections in the beginning of July, the highest number outside the densely populated island of Java.

“The spread of COVID-19 in East Kalimatan has reached all areas and not just the urban areas,” Andi Muhammad Ishak, a spokesperson at the East Kalimantan COVID-19 task force told Reuters, adding infections had been reported in the mining sector.

“There are quite a lot (of miners infected), but it has not reached a point where they have to stop operations,” he said, without specifying where the infections occurred.

Mine operations at companies such as PT Bumi Resources, the country’s biggest coal miner, and PT Bayan Resources, which both have operations in East Kalimantan, were running normally, company officials said.

“Bumi has tried to maintain close to normalcy in production over the last year,” Director Dileep Srivastava said. “In 2021, our volume guidance is unchanged at 85 million metric tons (mt) to 89 million mt.”

Srivastava said Bumi continued to implement strict health protocols for its employees, including regular screening and immediate contact tracing to contain any risk of the virus spreading to other employees in the event of an outbreak.

He also said most Bumi employees were vaccinated.

Bayan Director Jenny Quantero said the company was operating in “full force” and had started vaccinations for all employees working at the mine sites.

Bayan is keeping its 2021 production guidance of 32 million mt to 34 million mt.