¿Qué colores tenía la bandera republicana española?