Polio could be eradicated within 3 years — what happens then?