Approximately, how many Americans served in World War II?