Underwater satellites and autonomous robots help the hunt for enemy submarines