US kills top Iranian general in air strike