Ships and subs have collided many times the public doesn’t hear about all of them