general Velarde och öfversto Mirasol , hvilka dödats under upproret.