¿Qué dos grandes potencias industriales fueron las únicas que no enviaron tropas a la Guerra del Golfo?