国资委：任命刘健为中国海洋石油总公司总经理。