La colisión de asteroides gigantes cubiertos de hielo en el planeta forma los océanos.