You just read:

Old Republic Announces Changes In Senior Executive Ranks

News provided by

Old Republic International Corporation

May 09, 2019, 14:37 ET