Key ISIS leader killed by U.S. commandos in S...