General Velarde och öfverste Mirasol,