Number us navy personnel in vietnam war by year