sacado la bandera roja, ó estandarte de guerra, y habiéndola