icy satellites' oceans