After the war, Operation Glory was conducted from July to November 1954, to allow combatant countries to exchange their dead. How many US service members were exchanged during this operation