What’s better than robot wars? Underwater robot wars.