Paraguayan revolutionary Jose de Antequerra is defeated and executed.