Operación Tormenta del Desierto fue el nombre que se dio a la ofensiva aliada.