Policía Nacional. Cambio de mando en la Policía Nacional, Pinzón se jubila y Vega Pino asume la dirección