Bí ẩn nguồn gốc đại dương Trái Đất: Vai trò của các sao chổi