小惑星ベンヌはかつて「海洋惑星の一部」だったのかもしれない