Underwater mines have always been a nasty problem. They're cheap to deploy, hard to spot, and clearing them has traditionally meant sending a diver into the water to do it by hand — which is about as ...