To explore Europa, NASA prepared a diving robot.