After paying a health insurance claim, the insurer pursues the negligent third party who caused the insured's injury. This right is called: