Las opciones del Ejército Rojo eran: