20190424 city.agra: Poll official mistakenly presses delete button on EVM; Agra booth to have re-polling on April 25