Carter: U.S. killed ISIS senior leader - CNN Video