Rock waste that remains after desired mineral has been extracted after processing ore. And put into ponds is called?

Tailings