The water pump was definitely responsible for the external coolant leak, but I don't know how much (if any) damage was done from the owner continuing to drive with it leaking:
Or maybe the head gasket preexisted the water pump leak and the blue devil head gasket sealer caused the water pump to fail...