Members of the navy during korean war korean war navy veterans