Were any us coast guard members part of the navy seals during the vietnam war?