A mass vaccination campaign for children under 11 against polio