Interpol formally asks China for information about police agency's missing president