US sanctions Khamenei aide, other Iranian officials over protest crackdown

New penalties come as Trump welcomes purported Iranian decision to halt execution of antigovernment demonstrators.