Jules Verne was right, they discover a huge ocean underground.