20190817 home.science: Diamonds found near Earth's core