Randgold Resources was a gold mining business operating mainly in Mali. Headquartered in Jersey, Channel Islands, it was listed on the London and the NASDAQ stock exchanges until it merged with Barrick Gold in December 2018. From Wikipedia
The board opens a formal CEO search, saying full‑year guidance remains intact.