Rick King, managing director of Thomson Reuters, to retire Feb. 1