CNN

RIP: U.S. Navy SEAL killed in operation to rescue American doctor in Afghanistan