Will robot submarines take over human exploration of the seas?