“More than 18 000 US troops including the 10 000 GIs in south Korea and ultramodern war equipment were hurled into the war games, plus south Korean army corps, fleet commands, flying corps and even civilian forces.”