DoD Identifies Seal Killed in Mission