[WP] An asteroid mining crew start excavating a new asteroid in the asteroid belt. Instead of finding gold, silver, or other precious metals, they find dinosaur fossils.