ICE appoints Lynn Martin president of the NYSE