Nomination of James B. King to be director, Office of Personnel Management