GOP will have to choose candidate to take Johnson's place on ballot