Planet 10 times Earth’s mass may have smacked Jupiter long ago