Old Republic International Corporation (NYSE:ORI), a diversified insurance holding company with a market capitalization of $9 ...