Trump announces ‘crushing economic operation’ against Iran; details scant