IOC boss to visit North Korea after Winter Olympics: source