Bernard King elected to Hall of Fame