Autonomous underwater vehicle exploration of the ocean cavity beneath an Antarctic ice shelf